321. Ada, a programmer's introduction
Author: Leguy, Bernard.
Library: Central Library and Documentation Center (Kerman)
Subject: ، Ada )Computer program language(,، Programming languages )Electronic computers(
Classification :
QA
76
.
73
.
A35
L43
1993
322. Ada: an introduction to program design and coding
Author: Amoroso, Serafino
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، ADA )Computer program language(,، Electronic digital computer-- Programming
Classification :
QA
76
.
73
.
A35
.
A46
1985
323. Ada:an introduction to program design & coding
Author: AMOROSO,SERAFINO
Library: Central Library of Amirkabir University of Technology (Tehran)
Subject: ADA )COMPUTER PROGRAM LANGUAGE( , ELECTRONIC DIGITAL COMPUTERS-PROGRAMMING
Classification :
QA
76
.
73
.
A35
A46
324. Ada:concurrent programming
Author: GEHANI,NARAIN
Library: Central Library of Amirkabir University of Technology (Tehran)
Subject: ADA )COMPUTER PROGRAM LANGUAGE( , PARALLEL PROGRAMMING )COMPUTER SCIENCE(
Classification :
QA
76
.
73
.
A35
G433
325. Ada plus data structures :
Author: Nell Dale, Susan C. Lilly, John McCormick.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Ada (Computer program language),Data structures (Computer science),Object-oriented programming (Computer science)
Classification :
QA76
.
73
.
A35
D35
1996
326. Adapting proofs-as-programs
Author: / Iman Hafiz Poernomo, John Newsome Crossley, Martin Wirsing
Library: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
Subject: Curry-Howard isomorphism,Proof theory,Logic, Symbolic and mathematical,Functional programming (Computer science),Lambda calculus,Abstract data types (Computer science),Electronic books. , local
Classification :
E-BOOK
327. Adapting proofs-as-programs
Author: / Iman Hafiz Poernomo, John Newsome Crossley, Martin Wirsing., Poernomo, Iman Hafiz, 1976-
Library: Library of College of Science University of Tehran (Tehran)
Subject: Curry-Howard isomorphism., Proof theory., Logic, Symbolic and mathematical., Functional programming (Computer science),Lambda calculus.,Abstract data types (Computer science)
Classification :
QA
9
.
54
.
P64
2005
328. Adapting proofs-as-programs
Author: / Iman Hafiz Poernomo, John Newsome Crossley, Martin Wirsing
Library: Central Library and Document Center of Shahid Chamran University (Khuzestan)
Subject: Curry-Howard isomorphism.,Proof theory.,Logic, Symbolic and mathematical.,Functional programming (Computer science),Lambda calculus.,Abstract data types (Computer science)
Classification :
QA
,
9
.
54
,.
P64
,
2005
329. Adapting proofs-as-programs
Author: / Iman Hafiz Poernomo, John Newsome Crossley, Martin Wirsing
Library: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
Subject: Curry-Howard isomorphism,Proof theory,Logic, Symbolic and mathematical,Functional programming (Computer science,Lambda calculus,Abstract data types (Computer science
Classification :
E-BOOK
330. Adaptive differential evolutio
Author: / Jingqiao Zhang and Arthur C. Sanderson
Library: Central Library and Document Center of Shahid Chamran University (Khuzestan)
Subject: Evolutionary computation.,Mathematical optimization.,Evolutionary programming (Computer science)
Classification :
QA
,
76
.
618
,.
Z436
,
2009eb
331. Adaptive differential evolutio
Author: Jingqiao Zhang and Arthur C. Sanderson
Library: Central Library and Information Center of Shahed University (Tehran)
Subject: Evolutionary computation,Mathematical optimization,Evolutionary programming (Computer science),Electronic books., local
Classification :
QA
،
76
.
618
،.
Z436
,
2009eb
332. Adaptive differential evolution
Author:
Library: Central Library and Documents Center of Mazandaran University (Mazandaran)
Subject: Evolutionary computation. ; Evolutionary programming (Computer science) ; Mathematical optimization. ;
333. Adaptive dynamic programming for control
Author: / Huaguang Zhang ... [et al.]
Library: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
Subject: Dynamic programming,Adaptive control systems,Computer algorithms,Nonlinear systems,Control theory
Classification :
E-BOOK
334. Adaptive dynamic programming for control
Author: Huaguang Zhang ... [et al.]
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Adaptive control systems,Computer algorithms,Dynamic programming
Classification :
T57
.
83
.
A33
2013
335. Adaptive evolutionary information systems
Author: Patel, Nandish V.
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، Management information systems,، Evolutionary programming )Computer science(
Classification :
HD
30
.
213
.
P38
2003
336. Adaptive object-oriented software :
Author: Karl J. Lieberherr.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Object-oriented programming (Computer science),Adaptives Verfahren,Object-oriented programming (Computer science),Objektorientierte Programmierung,Programacao de computadores.,Programmation orientée objets (informatique)
Classification :
QA76
.
64
.
L49
1996
337. Adaptive object-oriented software: the Demeter Method with propagation patterns
Author: Lieberherr, Karl J.
Library: Central Library and Information Center of Ferdowsi University of Mashhad (Khorasan Razavi)
Subject: ، Object-oriented programming )Computer science(
Classification :
QA
76
.
64
.
L49
1996
338. Administrating Solr
Author:
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Database searching,Internet searching,Java (Computer program language),Search engines-- Programming,Web search engines
Classification :
TK5105
.
884
.
M643
2013
339. Ado.NET programming in Visual Basic .NET
Author: / Steve Holzner, Bob Howell
Library: Central Library and Information Center of the University of Mohaghegh Ardabili (Ardabil)
Subject: ActiveX,Database design,Object-oriented programming (Computer science),Microsoft .NET
Classification :
QA76
.
9
.
D26
,
H65
2003
340. Ado.net professional projects
Author: / Sanjeev Rohilla, Senthil Nathan, Surbhi Malhotra with NIIT
Library: Central Library and Information Center of the University of Mohaghegh Ardabili (Ardabil)
Subject: ActiveX,Database design,Object-oriented programming (Computer science),Microsoft .NET
Classification :
QA76
.
9
.
D26
,
R67
2002
